Connections from trivializations

Generic trivializations of geometric theories

We study the theory T ∗ of the structure induced by parameter free formulas on a dense algebraically independent subset of a model of a geometric theory T . We show that while being a trivial geometric theory, T ∗ inherits most of the model theoretic complexity of T related to stability, simplicity, rosiness, NIP and NTP2. In particular, we show that T is strongly minimal, supersimple of SU-ran...

Fast Searching for Andrews-Curtis Trivializations

Political Connections and Related-Party Transactions: Evidence from Iranian Firms

The present study aims to investigate the association between political connections and related-party transactions for the firms listed on the Tehran Stock Exchange (TSE). Sample includes the 485 firm-year observations from companies listed on the Tehran Stock Exchange during the years 2013 to 2017 and research hypothesis was tested using multivariate regression model based on panel data.We fin...

Programming from Galois Connections

Problem statements often resort to superlatives such as in eg. “. . . the smallest such number”, “. . . the best approximation”, “. . . the longest such list” which lead to specifications made of two parts: one defining a broad class of solutions (the easy part) and the other requesting the optimal such solution (the hard part). This paper introduces a binary relational combinator which mirrors...

The works of Charles Ehresmann on connections: from Cartan connections to connections on fibre bundles

Around 1923, Élie Cartan introduced affine connections on manifolds and defined the main related concepts: torsion, curvature, holonomy groups. He discussed applications of these concepts in Classical and Relativistic Mechanics; in particular he explained how parallel transport with respect to a connection can be related to the principle of inertia in Galilean Mechanics and, more generally, can...